Mathematical Foundations of Answer Set Programming
نویسندگان
چکیده
منابع مشابه
The nomore++ Approach to Answer Set Solving
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as computational objects. Apart from its operational foundations, we show how it improves on previous work through its new lookahead and its computational strategy of maintaining unfounded-freeness. We underpin our claims b...
متن کاملExploiting Vertical Parallelism from Answer Set Programs
In the last ten years we witnessed a rapid development of alternative logical systems, called non-monotonic logics (Baral & Gelfond 1994; Apt & Bol 1994; Minker 1993)--which allow new axioms to retract existing theorems, and result to be more adequate for common-sense reasoning and modeling dynamic knowledge bases. One of the outcomes of research in the field of non-monotonic logics is represen...
متن کاملRandom vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison
Answer-set programming (ASP) is an established paradigm for declarative problem solving, yet comparably little work on testing of answer-set programs has been done so far. In a recent paper, foundations for structure-based testing of answer-set programs building on a number of coverage notions have been proposed. In this paper, we develop a framework for testing answer-set programs based on thi...
متن کاملReactive Answer Set Programming
We introduce the first approach to Reactive Answer Set Programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal to module theory. With this, we elaborate upon the composition of the various offline and online programs in order to pave the way for stream-driven grounding and solving. Finally...
متن کاملAnswer Sets and the Language of Answer Set Programming
Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005